714 search results for "tag:"R""
Showing 101 - 150
-
A network connection establishment library for MirageOS6.2.1ISCUsed by 7 other packages29 Nov 2023
-
conduit-tls
No documentation
A network connection establishment library3.0.0ISCUsed by 2 other packages20 Oct 2020 -
Virtual package relying on APE/Cosmopolitan1MITUsed by 1 other packages14 Oct 2022
-
conf-opencc0
No documentation
Virtual package relying on opencc v0 (libopencc.so.1) installation1MITUsed by 1 other packages06 Dec 2018 -
conf-opencc1
No documentation
Virtual package relying on opencc v1 (libopencc.so.2) installation1MITUsed by 1 other packages06 Dec 2018 -
Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation1MITUsed by 1 other packages06 Oct 2021
-
Ergonomic, lightweight conditional compilation through attributes0.0.2MITUsed by 3 other packages28 Feb 2024
-
0.4.1CeCILL-BUsed by 1 other packages10 Oct 2015
-
2.2BSD-2-ClauseUsed by 1 other packages16 Mar 2023
-
A modular, clean and powerful extension of the OCaml standard library3.13.1BSD-2-ClauseUsed by 70 other packages21 Dec 2023
-
3.13.1BSD-2-ClauseUsed by 6 other packages21 Dec 2023
-
3.12BSD-2-ClauseUsed by 0 other packages06 Jun 2023
-
Compile a subset of OCaml to Coq2.5.3+4.14MITUsed by 0 other packages06 Jan 2023
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.1.1+8.18LGPL-3.0-or-laterUsed by 0 other packages10 Jan 2024
-
0.0.1MITUsed by 0 other packages27 Jul 2021
-
Caml on the Web2.5.0ISCUsed by 6 other packages12 Dec 2023
-
0.5.0ISCUsed by 0 other packages17 Jan 2020
-
Binding to CRlibm, a correctly rounded math lib0.5.1LGPL-3.0Used by 1 other packages11 Nov 2021
-
Convert a filesystem into a static OCaml module3.3.1ISCUsed by 28 other packages05 Aug 2022
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 241 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 2 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 29 other packages14 Mar 2023
-
S-expression serialisers for C-like structures6.2.0ISCUsed by 7 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 12 other packages14 Mar 2023
-
Parses a C program into Cabs AST and dumps as an XML document4.1.0LGPL-2.0-onlyUsed by 0 other packages26 May 2021
-
0.22.0MITUsed by 136 other packages19 Feb 2024
-
0.22.0MITUsed by 91 other packages19 Feb 2024
-
0.6BSD-2-ClauseUsed by 0 other packages13 Mar 2019
-
Delimited control primitives on top of effect handlers0.1ISCUsed by 0 other packages22 Jun 2023
-
0.3.0ISCUsed by 0 other packages11 Mar 2022
-
Published protocols for the authenticated message exchange0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
OCaml-ified interfaces for the ProScript Cryptography Library0.1.0Apache-2.0Used by 2 other packages17 Jun 2021
-
Mirage crypto backed implementation of the ProScript Cryptography Library0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
ProScript to OCaml translator0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
disml
No documentation
An OCaml library for interfacing with the Discord API0.2.5MITUsed by 0 other packages12 Feb 2019 -
DNS implementation using the Async concurrency framework1.1.3ISCUsed by 0 other packages15 Jul 2019
-
DNS implementation in portable Lwt1.1.3ISCUsed by 3 other packages15 Jul 2019
-
DNS implementation for Unix and Windows using Lwt_unix1.1.3ISCUsed by 0 other packages15 Jul 2019
-
0.3.0Used by 0 other packages28 Jan 2015
-
0.5.0ISCUsed by 1 other packages25 Jul 2017
-
Extract documentation from OCaml files1.2.1ISCUsed by 3 other packages07 Apr 2018
-
doc-ock-html
No documentation
1.2.1ISCUsed by 1 other packages07 Apr 2018 -
XML printer and parser for Doc-Ock1.2.1ISCUsed by 1 other packages07 Apr 2018
-
3.0.0MITUsed by 0 other packages15 Mar 2024
-
Dockerfile eDSL in OCaml8.2.1ISCUsed by 5 other packages10 Apr 2023
-
Dockerfile eDSL -- generation support8.2.1ISCUsed by 1 other packages10 Apr 2023
-
Dockerfile eDSL -- opam support8.2.1ISCUsed by 1 other packages10 Apr 2023
-
A parser library for automated deduction0.9BSD-2-ClauseUsed by 7 other packages06 Jul 2023
-
A linter for logic languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023